# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.


$key = q//;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 314.00ex; " SRC="|."$dir".q|img3.png"
 ALT="\begin{figure}\begin{rail}
\par
body : [1] ( ( '[' string ']' ) ? body[2&ndash;6] + '...
... [5] '(' body[1&ndash;6] ')'
\vert [5] cr
\vert [6]
;
\par
\end{rail}
\end{figure}">|; 

$key = q/{figure}rail{{par{rules:(rule?+';');{par{rule:(identifier':')?body[1--5];{par{rail{{{{figure};FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 314.00ex; " SRC="|."$dir".q|img2.png"
 ALT="\begin{figure}\begin{rail}
\par
rules : ( rule ? + ';' ) ;
\par
rule : ( identifier ':' ) ? body[1&ndash;5] ;
\par
\end{rail}
\end{figure}">|; 

$key = q/{rail}'terminal'{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img6.png"
 ALT="\begin{rail}
'terminal'
\end{rail}">|; 

$key = q/{rail}()+x{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img22.png"
 ALT="\begin{rail}
() + x
\end{rail}">|; 

$key = q/{rail}(){rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img8.png"
 ALT="\begin{rail}
()
\end{rail}">|; 

$key = q/{rail}()|x+y{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img20.png"
 ALT="\begin{rail}
() \vert x + y
\end{rail}">|; 

$key = q/{rail}()|x+{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img21.png"
 ALT="\begin{rail}
() \vert x +
\end{rail}">|; 

$key = q/{rail}(*){rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img11.png"
 ALT="\begin{rail}
( \ * \ ) \\\\
\end{rail}">|; 

$key = q/{rail}(x|y)|z{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img13.png"
 ALT="\begin{rail}
( x \vert y ) \vert z
\end{rail}">|; 

$key = q/{rail}[1]xy|[2]z{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img15.png"
 ALT="\begin{rail}[1]x y \vert [2] z
\end{rail}">|; 

$key = q/{rail}abcdefghij{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img9.png"
 ALT="\begin{rail}
a b c d e \ f g h i j
\end{rail}">|; 

$key = q/{rail}body[2--5]{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img16.png"
 ALT="\begin{rail}
body[2&ndash;5]
\end{rail}">|; 

$key = q/{rail}body[3--5]{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 171.96ex; " SRC="|."$dir".q|img4.png"
 ALT="\begin{rail}
body[3&ndash;5]
\end{rail}">|; 

$key = q/{rail}identifier+','{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img18.png"
 ALT="\begin{rail}
identifier + ','
\end{rail}">|; 

$key = q/{rail}nonterminal{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img5.png"
 ALT="\begin{rail}
nonterminal
\end{rail}">|; 

$key = q/{rail}x+y{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img17.png"
 ALT="\begin{rail}
x + y
\end{rail}">|; 

$key = q/{rail}x+{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img19.png"
 ALT="\begin{rail}
x +
\end{rail}">|; 

$key = q/{rail}x?{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img23.png"
 ALT="\begin{rail}
x ?
\end{rail}">|; 

$key = q/{rail}xyz{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img7.png"
 ALT="\begin{rail}
x y z
\end{rail}">|; 

$key = q/{rail}x|(y|z){rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img14.png"
 ALT="\begin{rail}
x \vert ( y \vert z )
\end{rail}">|; 

$key = q/{rail}x|y|z{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img12.png"
 ALT="\begin{rail}
x \vert y \vert z
\end{rail}">|; 

$key = q/{rail}{par{decl:'def'identifier'='(expression+';')|'type'identifier'='type;{par{{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 40.21ex; vertical-align: 125.10ex; " SRC="|."$dir".q|img1.png"
 ALT="\begin{rail}
\par
decl : 'def' identifier '=' ( expression + ';' )
\vert 'type' identifier '=' type
;
\par
\end{rail}">|; 

$key = q/{rail}|{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img10.png"
 ALT="\begin{rail}
\ Vert \\\\
\end{rail}">|; 

1;

